Volume 4 Number 2

This file contains the table of contents of the current papers accepted for publication in ACM Transactions on Design Automation of Electronic Systems. Papers will appear here, as soon as accepted, before the issue goes to print media. After the issue is closed the papers for that issue are filed in the main index.

NOTE: Eager net-hackers, please do NOT put hotlinks to these papers, yet. Things are under construction and will be for a few months yet. We will give out more stable web-referencing information as it becomes available.

ACM Transactions on Design Automation of Electronic Systems

Volume 4 Number 2

---

Tutorial and Survey Paper:

---

Formal Verification in Hardware Design: A Survey
Christoph Kern & Mark R. Greenstreet

• Abstract
• Paper (PostScript 651403 Bytes)
• Paper (GZipped PostScript 227580 Bytes)

---

Technical Papers:

---

• BIFEST: A built in intermediate fault effect sensing and test generation system for CMOS bridging faults
  *Kuen Jong Lee, Jing Jou Tang & Tsung Chu Huang
  
  
  • Abstract
  • Paper (PostScript 532063 Bytes)
  • Paper (GZipped PostScript 129235 Bytes)

  ---